Inductive type - PDFSEARCH.IO - Document Search Engine

Inductive type
Results: 32

#	Item
21	Defining (Co)datatypes in Isabelle/HOL Jasmin Christian Blanchette, Martin Desharnais, Lorenz Panny, Andrei Popescu, and Dmitriy Traytel Fakultät für Informatik, Technische Universität München 27 August 2014 Add to Reading List Source URL: isabelle.in.tum.de Language: English - Date: 2014-08-27 06:04:04 Recursion Type theory Data types Self-reference Theoretical computer science Recursive data type Corecursion Standard ML Inductive data type Computer programming Software engineering Computing
22	www.atos.com Table E115-9/E Safety cartridge valves type JODL 2-way, poppet type, leak free, with optional inductive proximity sensor Add to Reading List Source URL: fluidprogress.hu Language: English - Date: 2011-08-16 13:09:44 Physics Piping Valve Water industry Heart valve Voltage Measurement Valves Fluid mechanics Plumbing
23	A New Type of Non-Inductive Resistance Winding Add to Reading List Source URL: digital.library.okstate.edu Language: English - Date: 2009-01-09 16:55:21 Winding hole The Corrs Celtic music Cooperative banking European Association of Co-operative Banks
24	UNIVERSITY OF GRONINGEN Inductive Types in Constructive Languages Peter J. de Bruin Add to Reading List Source URL: www.peterdebruin.net Language: English - Date: 2010-01-10 15:07:06 Mathematical logic Programming idioms Type theory Recursion Theoretical computer science Intuitionistic type theory Initial algebra Mathematical proof Inductive reasoning Mathematics Computer programming Logic
25	INDUCTIVE PROXIMITY SENSORS DC TYPE (3 WIRE VERSION) Inductive proximity sensors can be used for position sensing, speed measurement, counting & in conditions such as oily, dusty, corrosive enviroment. Their application Add to Reading List Source URL: www.proximon.com Language: English - Date: 2014-01-03 06:54:31 Energy Proximity sensor Capacitive sensing Inductive sensor Capacitor Switched-mode power supply Switch Sensors Technology Electrical engineering
26	Applications of inductive definitions and choice principles to program synthesis Ulrich Berger and Monika Seisenberger {u.berger,csmona}@swansea.ac.uk University of Wales Swansea Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2006-06-27 17:59:13 Structural induction Mathematical proof Mathematical induction Well-quasi-ordering Axiom of choice Recursion Intuitionistic type theory Well-founded relation Bar induction Mathematics Mathematical logic Logic
27	Inductive-inductive Definitions Fredrik Nordvall Forsberg⋆ and Anton Setzer⋆ Swansea University {csfnf, a.g.setzer}@swansea.ac.uk Abstract. We present a principle for introducing new types in type Add to Reading List Source URL: www.cs.swan.ac.uk Language: English - Date: 2010-09-29 18:22:59 Deduction Binary operations Entailment Logical consequence Metalogic Mathematical induction Function Generic programming Inductive reasoning Logic Mathematics Proof theory
28	Dependently Typed Functional Programs and their Proofs Add to Reading List Source URL: strictlypositive.org Language: English - Date: 2007-10-10 18:00:00 Type theory Mathematical logic Dependently typed programming Data types Functional languages Unification Functional programming Inductive data type Monad Software engineering Computer programming Computing
29	Transporting Functions across Ornaments Technical Report Add to Reading List Source URL: arxiv.org Language: English - Date: 2012-03-13 22:34:14 Data types Type theory Dependently typed programming Functional programming Functional languages Inductive data type C++ classes Generic programming Generalized algebraic data type Software engineering Computing Computer programming
30	Dependently Typed Functional Programs and their Proofs Add to Reading List Source URL: www.lfcs.inf.ed.ac.uk Language: English - Date: 2000-09-13 12:40:18 Type theory Data types Mathematical logic Dependently typed programming Functional languages Unification Functional programming Inductive data type Monad Software engineering Computer programming Computing

UPDATE